Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
561	Quantum theory, the Church-Turing principle and the universal quantum computer DAVID D EUTSCH Appeared in Proceedings of the Royal Society of London A 400, pp[removed]y (Communicated by R. Penrose, F.R.S. — Rece Add to Reading List Source URL: folk.uio.no Language: English - Date: 2005-09-12 05:30:31 Theory of computation Applied mathematics Turing machine Models of computation Alan Turing Church–Turing thesis Church–Turing–Deutsch principle Computable function Computability Theoretical computer science Computer science Computability theory
562	Last Time ➜ Sets COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Theoretical computer science Ordinal number Applied mathematics Abstraction Knaster–Tarski theorem Mathematics Order theory Computability theory
563	What to do and how to do it: Translating Natural Language Directives into Temporal and Dynamic Logic Representation for Goal Management and Action Execution Juraj Dzifcak and Matthias Scheutz and Chitta Baral and Paul Sc Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2009-12-09 21:12:19 Logic in computer science Lambda calculus Computability theory Formal methods Models of computation Combinatory logic Dynamic logic Modal logic Robot Mathematical logic Logic Theoretical computer science
564	Two fundamental problems connected with AI Abstract This paper is about two fundamental problems in the field of computer science. Solving these two problems is important because it has to do with the creation of Artific Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2007-04-22 07:35:32 Computer science Automata theory Computability theory Theory of computation Algorithm Mathematical logic Halting problem Finite-state machine Determinism Theoretical computer science Models of computation Applied mathematics
565	Subject Information Guide Computability and Intractability MAT4CI Semester 1, 2014 Administration and contact details Host Department Host Institution Add to Reading List Source URL: research.amsi.org.au Language: English - Date: 2014-08-18 08:34:25 Computational complexity theory Structural complexity theory Mathematical optimization Computability theory NP-complete P versus NP problem NP P Low Theoretical computer science Applied mathematics Complexity classes
566	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Computability theory Lambda calculus Theoretical computer science Mathematical proof Constructible universe Creative Commons Mathematics Mathematical logic Open content
567	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-12-19 08:17:21 Theory of computation Goto Mathematics Computing Computer science Recursion Computability theory Primitive recursive function
568	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
569	COMS11700 Turing machines (continued) Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:33 Theory of computation Computability theory Formal methods Models of computation Alan Turing Turing Universal Turing machine Turing machine equivalents Turing machine Computer science Theoretical computer science
570	422 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-18 21:28:16 Mathematics Probability theory Statistical theory Theory of computation Computability theory Entropy Conditional probability Expected value Computable number Information theory Statistics Theoretical computer science

UPDATE